3

Analysis of VME-Bus communication protocol - RTCP-net approach

Year:
2007
Language:
english
File:
PDF, 369 KB
english, 2007
15

An Entropy-Based Network Anomaly Detection Method

Year:
2015
Language:
english
File:
PDF, 1.70 MB
english, 2015
30

Tools and Methods for RTCP-Nets Modeling and Verification

Year:
2016
Language:
english
File:
PDF, 582 KB
english, 2016
31

Verification of Real-Time System Requirements: A Petri Net Approach

Year:
1999
Language:
english
File:
PDF, 1.46 MB
english, 1999
37

Detection and Modeling of Cyber Attacks with Petri Nets

Year:
2014
Language:
english
File:
PDF, 1.12 MB
english, 2014
41

Formal Verification of Embedded Systems Using the Alvis Approach

Year:
2011
Language:
english
File:
PDF, 679 KB
english, 2011